13.7 Clausius’ theorem